421. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
422. Mathematical Logic
پدیدآورنده : \ Wei Li
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
423. Mathematical Principles of Fuzzy Logic
پدیدآورنده : by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
424. Mathematical Reasoning :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Reasoning.,Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Reasoning.
رده :
QA9
.
M347
425. Mathematical foundations of computer science 1993 :
پدیدآورنده : Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,Informatique -- Mathématiques -- Congrès
رده :
QA76
.
9
.
M35
A537
1993
426. Mathematical logic
پدیدآورنده : / Wei Li
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical.,Mathematische Logik.--swd,Mathematics.
رده :
QA9
,.
L475
,
2010
427. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
428. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
429. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
430. Mathematical logic and theoretical computer science
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
431. Mathematical logic for computer science
پدیدآورنده : Ben-Ari, Mordechai
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B3955
2001
432. Mathematical logic for computer science
پدیدآورنده : Ben-Ari, M.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B3955
2001
433. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
434. Mathematical logic for computer science
پدیدآورنده : Mordechai Ben-Ari
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
B3955
2012eb
435. Mathematical logic for computer science
پدیدآورنده : Ben-Ari, M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
B3955
2001
436. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
437. Mathematical logic for computer science
پدیدآورنده : Lu, Zhong-Wan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35L8
1989
438. Mathematical logic : foundations for information science
پدیدآورنده : Li, Wei, 3491 June-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
L58M3
2014
439. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
440. Mathematical theory of program correctness
پدیدآورنده : Bakker, J. W. de )Jacobus Willem(, 9391-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer programs -- Correctness,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
B335
